Map each element of a structure to an action, evaluate these actions
from left to right, and collect the results. For a version that
ignores the results see traverse_.
Map each element of a structure to a monadic action, evaluate these
actions from left to right, and collect the results. For a version
that ignores the results see mapM_.